課程名稱 |
計算理論 Theory of Computing |
開課學期 |
106-2 |
授課對象 |
管理學院 資訊管理學系 |
授課教師 |
蔡益坤 |
課號 |
IM3006 |
課程識別碼 |
705 30400 |
班次 |
|
學分 |
3.0 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期三7,8,9(14:20~17:20) |
上課地點 |
管二102 |
備註 |
本課程中文授課,使用英文教科書。部份週次之週三6有實習,地點同上課教室。 總人數上限:70人 外系人數限制:10人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1062theory2018 |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
This is an introductory course to the theory of computation. It covers various mathematical models, including automata and Turing machines, for physical computing machineries along with their computational capabilities/limitations. In terms of specific topics and the order of their exposition, the course will follow closely the book by Sipser. |
課程目標 |
The goal of this course is to acquaint the students with the basic concepts in computation theory and to cultivate the students' ability in analyzing the complexity of computational problems. |
課程要求 |
待補 |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
Introduction to the Theory of Computation, 3rd Edition, Michael Sipser, Cengage Learning, 2012. |
參考書目 |
待補 |
評量方式 (僅供參考) |
|
週次 |
日期 |
單元主題 |
第1週 |
2/28 |
Holiday |
第2週 |
3/07 |
Introduction and Mathematical Preliminaries |
第3週 |
3/14 |
Mathematical Preliminaries; Finite Automata and Regular Languages |
第4週 |
3/21 |
Finite Automata and Regular Languages |
第5週 |
3/28 |
Finite Automata and Regular Languages |
第6週 |
4/04 |
Holiday |
第7週 |
4/11 |
Context-Free Languages and Pushdown Automata |
第8週 |
4/18 |
Context-Free Languages and Pushdown Automata |
第9週 |
4/25 |
Midterm |
第10週 |
5/02 |
Turing Machines |
第11週 |
5/09 |
Turing Machines |
第12週 |
5/16 |
Decidability (and Undecidability) |
第13週 |
5/23 |
Reducibility |
第14週 |
5/30 |
Reducibility |
第15週 |
6/06 |
Time Complexity and NP-Completeness |
第16週 |
6/13 |
Time Complexity and NP-Completeness |
第17週 |
6/20 |
Time Complexity and NP-Completeness |
第18週 |
6/27 |
Final |
|